priority -50

snippet Agda "Agda Gitignore Template"
### Agda ###
*.agdai
$0
endsnippet
